First-order properties of trees, star-free expressions, and aperiodicity
نویسندگان
چکیده
منابع مشابه
Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic
We exhibit a rst-order deenable picture language which we prove is not expressible by any star-free picture expression, i. e., it is not star-free. Thus rst-order logic over pictures is strictly more powerful than star-free picture expressions are. This is in sharp contrast with the situation with words: the well-known McNaughton-Papert theorem states that a word language is expressible by a rs...
متن کاملStar free expressions over the reals
An interpretation of star free expressions over the reals is provided. The expressive power of star free expressions is compared to the expressive power of monadic rst-order logic of order over the reals. It is proved that these formalisms have the same expressive power. This result provides a generalization of the classical McNaughton Papert theorem 3] from the nite orders to the order of the ...
متن کاملDescribing Syntax with Star-Free Regular Expressions
Syntactic constraints in Koskenniemi's Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turns out that although the constraints in Voutilainen's (1994) FSIG description of English make use of several extensions to regular expressions, the description as a whole reduces to a finite combination of union, compleme...
متن کاملFirst-order Decomposition Trees
Lifting attempts to speedup probabilistic inference by exploiting symmetries in the model. Exact lifted inference methods, like their propositional counterparts, work by recursively decomposing the model and the problem. In the propositional case, there exist formal structures, such as decomposition trees (dtrees), that represent such a decomposition and allow us to determine the complexity of ...
متن کاملsome properties of fuzzy hilbert spaces and norm of operators
in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 1991
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita/1991250201251